redemption proceeds - German English Dictionary